Implicit Kripke semantics and ultraproducts in stratified institutions

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ultraproducts and possible worlds semantics in institutions

We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic level provided by the so-called ‘institutions’. Our general abstract modal logic framework provides a method for systematic Kripke semantics extensions of logical systems from computing science and logic. We also extend the institution-independent method of ultraproducts of [R. Diaconescu, Institution-inde...

متن کامل

A Distributed Kripke Semantics

A. An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this semantics is both sound and complete for the logic. In the semantics, resources of a distributed system are interpreted as atoms, and pl...

متن کامل

Abstract Kripke Semantics

Kripke Semantics Yanjing Wang (Amsterdam) In this paper, we give a schema of non-standard Kripke semantics for modal logic, in which the meaning of a modality in a formula depends on the evaluation process of that formula. More precisely, in our semantics schema, the truth condition for a sub-formula [] A of B depends on the path of worlds we passed in the evaluation of B and the position of []...

متن کامل

Constructive Kripke Semantics and Realizability

What is the truth-value structure of realizability? How can realizability style models be integrated with forcing techniques from Kripke and Beth semantics, and conversely? These questions have received answers in Hyland’s [33], Läuchli’s [43] and in other, related or more syntactic developments cited below. Here we re-open the investigation with the aim of providing more constructive answers t...

متن کامل

Message-generated Kripke semantics

We show how to generate multi-agent Kripke models from message exchanges. With these models we can analyze the epistemic consequences of a message exchange. One novelty in this approach is that we include the messages in our logical language. This allows us to model messages that mention other messages and agents that reason about messages. Our framework can be used to model a wide range of dif...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Computation

سال: 2016

ISSN: 0955-792X,1465-363X

DOI: 10.1093/logcom/exw018